Clustered Causal Ordering

نویسنده

  • Gordon Skorstad
چکیده

Causal arguments are ubiquitous in human reasoning about physical phenomena. Formalization and computer modeling of these arguments is a major goal of qualitative physics. Building causal qualitative models of rich domains like classical thermodynamics has proven to be difficult . The most accessible and widely agreed upon source of knowledge is found in textbooks, usually in the form of noncausal mathematical equations. Iwasaki and Simon's causal ordering procedure addresses this problem by attempting to extract causality directly from mathematical equations . This paper examines the causal ordering procedure from the point of view of qualitative process theory. We illustrate how causal ordering is dependent on the choice of exogenous variables which in turn requires consideration of the many ways in which a system can interact with its surroundings . In other words, it suffers from environmental instability . This paper shows how directly influenced quantities can be used to find environmentally stable causal clusters. Because of their stability, causal clusters can be studied in isolation and used as building blocks in a broad range of environments . We demonstrate our ideas in the domain of thermodynamics by uncovering the causality of the Ideal Gas Law and Joule's temperature-internal energy relation .

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Implementing Causal Ordering with Bounded Time stamps

This paper investigates a solution to the problem of causal ordering in message passing distributed systems Causal ordering is the restriction that messages are delivered in a fo fashion with respect to the global causal order between events in the system This is stronger than the condition that each local channel is fo In our algorithm causal ordering is implemented by having each process main...

متن کامل

A New Algorithm to Implement Causal Ordering

This paper presents a new algorithm to implement causal ordering. Causal ordering was first proposed in the ISIS system developed at Cornell University. The interest of causal ordering in a distr ibuted system is that it is cheaper to realize than total ordering. The implementation of causal ordering proposed in this paper uses logical clocks of Mat te rn-Fidge (which define a partial order bet...

متن کامل

Consistency, Availability, and Convergence

We examine the limits of consistency in highly available and fault-tolerant distributed storage systems. We introduce a new property—convergence—to explore the these limits in a useful manner. Like consistency and availability, convergence formalizes a fundamental requirement of a storage system: writes by one correct node must eventually become observable to other connected correct nodes. Usin...

متن کامل

On the Relationship between Model Abstraction and Causality: Variance of Causal Ordering under Abstraction Operations

This paper examines the relationship between causal ordering and two temporal abstraction techniques, namely generation of mixed models from dynamic models and aggregation of nearly decomposable models. The paper defines two notions of causal equivalence between an original model and its abstraction or its elaboration. Then, it shows that when the constraint for a uniform temporal grain size fo...

متن کامل

Algorithms for Causal Message Ordering in Distributed Systems

Causal message ordering is a partial ordering of messages in a distributed computing environment. It places a restriction on communication between processes by requiring that if the transmission of messagemi to process pk necessarily preceded the transmission of message mj to the same process, then the delivery of these messages to that process must be ordered such that mi is delivered before m...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2003